大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Engineering Psychology and Cognitive Ergonomics [electronic resource] : 8th International Conference, EPCE 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings

0
索取号：
作者：Harris、 Don.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings

0
索取号：
作者：Giese、 Martin.、Waaler、 Arild.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Universal Access in Human-Computer Interaction. Applications and Services [electronic resource] : 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III

0
索取号：
作者：Stephanidis、 Constantine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments [electronic resource] : 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II

0
索取号：
作者：Stephanidis、 Constantine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Universal Access in Human-Computer Interaction. Addressing Diversity [electronic resource] : 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I

0
索取号：
作者：Stephanidis、 Constantine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Autonomic and Trusted Computing [electronic resource] : 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings

0
索取号：
作者：Gonz谩lez Nieto、 Juan.、Reif、 Wolfgang.、Wang、 Guojun.、Indulska、 Jadwiga.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Model Driven Architecture - Foundations and Applications [electronic resource] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings

0
索取号：
作者：Paige、 Richard F.、Hartman、 Alan.、Rensink、 Arend.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

0
索取号：
作者：Bouajjani、 Ahmed.、Maler、 Oded.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Software Composition [electronic resource] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

0
索取号：
作者：Bergel、 Alexandre.、Fabry、 Johan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Information Security and Privacy [electronic resource] : 14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings

0
索取号：
作者：Boyd、 Colin.、Gonz谩lez Nieto、 Juan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Intelligent Computer Mathematics [electronic resource] : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings

0
索取号：
作者：Carette、 Jacques.、Dixon、 Lucas.、Coen、 Claudio Sacerdoti.、Watt、 Stephen M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Image Analysis and Recognition [electronic resource] : 6th International Conference, ICIAR 2009, Halifax, Canada, July 6-8, 2009. Proceedings

0
索取号：
作者：Kamel、 Mohamed.、Campilho、 Aur茅lio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Optimality and Risk - Modern Trends in Mathematical Finance [electronic resource] : The Kabanov Festschrift

0
索取号：
作者：Delbaen、 Freddy.、R谩sonyi、 Mikl贸s.、Stricker、 Christophe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.

Human-Computer Interaction. Interacting in Various Application Domains [electronic resource] : 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part IV

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Human-Computer Interaction. Ambient, Ubiquitous and Intelligent Interaction [electronic resource] : 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part III

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Human-Computer Interaction. Novel Interaction Methods and Techniques [electronic resource] : 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.